Java-MaC: A Run-Time Assurance Approach for Java Programs
نویسندگان
چکیده
منابع مشابه
Java-MaC: A Run-Time Assurance Approach for Java Programs
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the...
متن کاملJava-MaC: a Run-time Assurance Tool for Java Programs
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal speci cation of system requirements. MaC bridges the gap between formal veri cation, which ensures the correctness of a desi...
متن کاملComputational Analysis of Run-time Monitoring - Fundamentals of Java-MaC
A run-time monitor shares computational resources, such as memory and CPU time, with the target program. Furthermore, heavy computation performed by a monitor for checking target program's execution with respect to requirement properties can be a bottleneck to the target program's execution. Therefore, computational characteristics of run-time monitoring cause a significant impact on the target...
متن کاملA Safe Mobile Code Representation and Run-time Architecture for High-Integrity Real-Time Java Programs
Java is becoming increasingly popular in many application areas due to its rich programming semantics and portability. We believe that high-integrity real-time systems can also greatly benefit by adopting the Java technology, provided the unpredictable overheads and insecurity of the run-time system are conquered. We illustrate in this paper our on-going work on a safe mobile code representatio...
متن کامل- MaC : a Run - time Assurance Tool for JavaProgramsM
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal speciication of system requirements. MaC bridges the gap between formal veriication, which ensures the correctness of a desi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Methods in System Design
سال: 2004
ISSN: 0925-9856
DOI: 10.1023/b:form.0000017719.43755.7c